#unspecified
#unspecified
#unspecified
#unspecified
(Processing:  (A1R yeti who B _ A2RR admired himself))

-------------------
edge      : 644 A1R yeti who B _ A2RR admired himself	(0 8)	(((e \N t) /1 (e \N t)) /2 ((e \ t) / e)) 
semantics : (^ r1 (^ r2 (^ x ((r2 x) & ((r1 x) x)))))
proofnet  : (((((1 . e) \N (2 . t)) /1 ((3 . e) \N (4 . t))) /2 (((5 . e) \ (6 . t)) / (7 . e))) (A1R (((((1 . e) \N (2 . t)) /1 ((3 . e) \N (4 . t))) // (((3 . e) \N (4 . t)) \\ ((1 . e) \N (2 . t)))) / ((3 . e) \N (4 . t)))) (yeti ((3 . e) \N (4 . t))) (who ((((3 . e) \N (4 . t)) \ ((1 . e) \N (2 . t))) / ((8 . e) & (9 . t)))) (B ((((8 . e) & (9 . t)) // ((5 . e) \\ ((10 . e) > (6 . t)))) / (((8 . e) & (9 . t)) // ((11 . e) \\ (6 . t))))) (_ (((8 . e) & (9 . t)) // ((11 . e) \\ (6 . t)))) (A2RR ((((((1 . e) \N (2 . t)) /1 ((3 . e) \N (4 . t))) /2 (((5 . e) \ (6 . t)) / (7 . e))) // ((((5 . e) \ (6 . t)) / (7 . e)) \\ (((1 . e) \N (2 . t)) /1 ((3 . e) \N (4 . t))))) / (((5 . e) \ (6 . t)) / (7 . e)))) (admired (((5 . e) \ (6 . t)) / (7 . e))) (himself (((10 . e) > (6 . t)) // ((7 . e) \\ (6 . t)))))
derivation: ((D (U D)) (((D (U Z)) ((Z (U L)) (A1R yeti))) ((Z (U who)) ((Z (U D)) (((D (U Z)) ((D (U U)) ((D (U S)) ((Z (U L)) (B _))))) (((D (U Z)) ((Z (U Z)) ((Z (U U)) (A2RR admired)))) (U himself)))))))

-------------------
edge      : 736 A1R yeti who B _ A2RR admired himself	(0 8)	(((e \N t) /1 (e \N t)) /2 ((e \ t) / e)) 
semantics : (^ r1 (^ x x))
proofnet  : (((((1 . e) \N (2 . t)) /1 ((1 . e) \N (2 . t))) /2 (((3 . e) \ (4 . t)) / (5 . e))) (A1R (((((1 . e) \N (2 . t)) /1 ((1 . e) \N (2 . t))) // (((1 . e) \N (2 . t)) \\ ((1 . e) \N (2 . t)))) / ((1 . e) \N (2 . t)))) (yeti ((6 . e) \N (7 . t))) (who ((((6 . e) \N (7 . t)) \ ((1 . e) \N (2 . t))) / ((8 . e) & (9 . t)))) (B ((((8 . e) & (9 . t)) // ((3 . e) \\ ((10 . e) > (4 . t)))) / (((8 . e) & (9 . t)) // ((11 . e) \\ (4 . t))))) (_ (((8 . e) & (9 . t)) // ((11 . e) \\ (4 . t)))) (A2RR ((((((1 . e) \N (2 . t)) /1 ((1 . e) \N (2 . t))) /2 (((3 . e) \ (4 . t)) / (5 . e))) // ((((3 . e) \ (4 . t)) / (5 . e)) \\ (((1 . e) \N (2 . t)) /1 ((1 . e) \N (2 . t))))) / (((3 . e) \ (4 . t)) / (5 . e)))) (admired (((3 . e) \ (4 . t)) / (5 . e))) (himself (((10 . e) > (4 . t)) // ((5 . e) \\ (4 . t)))))
derivation: ((D (U D)) ((Z (U D)) ((Z (U A1R)) ((Z (U (L yeti))) ((Z (U who)) ((Z (U D)) (((D (U Z)) ((D (U U)) ((D (U S)) ((Z (U L)) (B _))))) (((D (U Z)) ((Z (U Z)) ((Z (U U)) (A2RR admired)))) (U himself)))))))))
771 edges -- Done parsing.
#<output_port:stdout>
